Theorem T000162

⇒