(8) 
La contradiction cesse si l’on suppose que les points EF ne 
sont pas distincts. 
Mais alors, il n'existe aucun point de BC (et par suite de u) 
que l’on ne puisse atteindre, soit directement, soit comme point 
limite. 
