Theorem T000367

⇒