Theorem T000369

⇒