theorem :: XPRIMES1:392

canceled;