Theorem T000124