Theorem T000178