Theorem T000644

⇒