Theorem T000003

⇒