Theorem T000098

⇒