theorem :: XPRIMES2:3052

canceled;