Theorem T000331