theorem :: XPRIMES2:1757

canceled;