Theorem T000008

⇒