resultat , efter en oändlig mängdvittnes