Igazoljuk, hogy egy 1n hosszúságú nyílt intervallum legfeljebb [n+12] darab olyan racionális számot tartalmazhat, amelynek nevezője legfeljebb n.