theorem :: XPRIMES2:7470

canceled;