Theorem T000122