theorem :: XPRIMES2:2470

canceled;