Theorem T000007

⇒