theorem :: XPRIMES2:8470

canceled;