File:ECT Example Inductive Proof Plain.svg Source: en.wikipedia.org/wiki/File:ECT_Example_Inductive_Proof_Plain.svg