Определите полиморфизм в контексте объектно-ориентированного программирования. Объясните разницу между статическим (перегрузка) и динамическим (переопределение) полиморфизмом. Приведите теоретические примеры того, как полиморфизм способствует гибкости и расширяемости кода.