General Double Induction Principle/Proof

Theorem
Let $M$ be a class.

Let $g: M \to M$ be a mapping on $M$.