theorem :: XPRIMES2:967

canceled;