Polymorphism can be described easily by
Liskov Substitution Principle: "Derived class object can be used where base class object is expected."
This way, programs dont need to rely on low level details of object implementations. This reduces considerably dependencies between modules. Less dependencies means more maintainable and easier to modify programs.
Polymorphism is essential to Object Oriented Programming.