Theorem T000734

⇒