theorem :: XPRIMES2:788

canceled;