Theorem T000184