theorem :: XPRIMES2:708

canceled;