Theorem T000096

⇒