Можно ли сказать, что наследование способствует реализации полиморфизма в объектно-ориентированном программировании?