Theorem T000365

⇒