Theorem T000204