theorem :: XPRIMES1:892

canceled;