Theorem T000668

⇒