Theorem T000121

⇒