Theorem T000169