Theorem T000032

⇒