Theorem T000310

⇒