Theorem T000343