Theorem T000166

⇒