theorem :: XPRIMES2:3470

canceled;