Theorem T000305

⇒