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