Theorem T000190

⇒