theorem :: XPRIMES1:2960

canceled;