theorem :: XPRIMES1:5110

canceled;