Как можно продемонстрировать, что методы абстрактного класса обязательны для переопределения?