Theorem T000605

⇒