Theorem T000474

⇒