Si vous avez un moyen de démontrer sans trop de calculs la seconde proposition ci-dessous alors ça m'arrangerait bien
Sinon c'est pas grave
J'en ai besoin pour un truc en géométrie et je ne trouve pas de contre-exemple et du coup je ne vois pas comment la faire sans faire un gros calcul bourrin
Pour la première proposition ça va mais je la pose ici pour qu'on puisse comprendre la seconde
______
Le contexte
Soient
On considère:
Première proposition
Il existe quatre points
Deuxième proposition
On posera
-Si
-Si
-Si
-Si
-Si
-Si
Et pour tout
-Si
-Si
-Si
-Si
-Si
-Si
Cette seconde proposition stipule qu'il existe
Et de plus elle stipule que si pour un
il existe un point
(Mais bon pour ce dernier truc c'est facile à montrer si on a démontré le reste)