Theorem T000005

⇒