Theorem T000300

⇒