theorem :: XPRIMES2:2757

canceled;