theorem :: XPRIMES1:2470

canceled;