theorem :: XPRIMES1:788

canceled;