theorem :: XPRIMES1:5248

canceled;