Theorem T000004

⇒