Theorem T000368

⇒