theorem :: XPRIMES1:5234

canceled;