Theorem T000185