Theorem T000926

⇒