Énoncé aux termes duquel si, sur une droite D, on reporte les points A1, A2, …, An, d'une part, les points B1, B2, …, Bn d'autre part, les abscisses des premiers formant une suite annon décroissante de nombres rationnels, celles des seconds une suite bnnon croissante, la différence bn− anrestant positive et tendant vers zéro, les segments emboîtés [AnBn] ont un point commun unique M, auquel correspond suivant les cas un nombre rationnel ou un nombre irrationnel.