Theorem T000727

⇒