A.13 Lemma

---

A.13 Lemma

If , then for all C <: D.

Proof: Straightforward induction on the derivation of C <: D. Note that, whether m is defined in CT(C) or not, mtype(m, C) should be the same as mtype(m, E) where CT(C) = class C extends E {...}.

---