Theorem T000006

⇒