>>109
＞あるクラスを継承するには、何々インターフェースの何々メソッドと何々抽象クラスの何々メソッドを継承せよ
＞一つでもメソッドがたりなければ、そのクラスとは認めない

それが言語仕様で保証されてるからあるクラスを継承している実体が何であれ関係なくあるクラスのインスタンスとして扱うことが出来る
関数で言うなら引数と戻り値の型が定められてるのと一緒なんだが？
引数も戻り値もバラバラでいちいち確認しなきゃいけない関数ライブラリが使いたいなら好きにしろとしか言えないがw