In other words, every internal infinite subset of the hyperreals necessarily contains non-standard elements.
Dit d'una altra manera, cada subconjunt infinit intern de nombres hiperreals conté necessàriament elements no estàndard.