theorem :: XPRIMES2:773

canceled;