Theorem T000179