theorem :: XPRIMES1:1392

canceled;