Theorem T000014

⇒