iyo ikubutse i gatobo ntango in other words every internal infinite subset of the hyperreals necessarily contains non standard elements