Theorem T000648

⇒