theorem :: XPRIMES2:753

canceled;