Theorem T000033

⇒