Principle of Recursive Definition/Proof 4

Proof
From the Principle of Recursive Definition: Strong Version: