Theorem T000189