Theorem T000330