Theorem T000340