Theorem T000706

⇒