a not instantiable subtype must inherit from an instantiable supertype ? that what our teacher is pretending but I don't understand why? can anyone say something about that ?
It is not a technical restriction as far as I can see.
Nor does it make sense ito class (type) design.
Ask your teacher to explain this concept with an example.