Theorem T000344