J'essaie désespérément de montrer cette propriété :
Soit
On note
Alors
A priori il suffit de montrer que le cardinal de
Soit donc
Par l'absurde, si
Mon instinct me pousse à faire une division euclidienne pour montrer que tout O_x est inclus dans
Mais ça me donne un peu l'impression d'utiliser un marteau piqueur pour résoudre une question très simple, et je ne suis même pas sur que mon raisonnement soit correct.
J'ai évidemment cherché si la démonstration n'était pas dans le Ramis, le Marco ou Arnaudiès, introuvable...
Merci d'avance de votre aide !!