theorem :: XPRIMES1:2610

canceled;