theorem :: XPRIMES1:2392

canceled;