Démonstration euclidienne