theorem :: XPRIMES2:1259

canceled;