Theorem T000002

⇒