Theorem T000169

⇒