Theorem T000012

⇒