theorem :: XPRIMES2:6470

canceled;