Theorem T000168

⇒