Theorem T000183

⇒