Theorem T000152

⇒