theorem :: XPRIMES1:918

canceled;