theorem :: XPRIMES1:3470

canceled;