Theorem T000122

⇒