theorem :: XPRIMES2:470

canceled;