Theorem T000069

⇒