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