Theorem T000121