Theorem T000173

⇒