theorem :: XPRIMES2:795

canceled;