Theorem T000215

⇒