theorem :: XPRIMES2:2958

canceled;