Theorem T000195