Theorem T000361

⇒