Theorem T000639

⇒