Theorem T000736

⇒