Theorem T000371

⇒