Theorem T000664

⇒