Theorem T000304