Theorem T000311