Théorème 1.
Étant donné...