Theorem T000355

⇒