Theorem T000339

⇒