Theorem T000321

⇒