Theorem T000168