theorem :: XPRIMES1:2510

canceled;