Dowód. zagubiony: Wykazać, że jeśli a,b ∊ R, i b−a>1, to odcinek otwarty (a,b) zawiera liczbę całkowitą (np. [a]+1)

Michał: b > a + 1 |ab| > 1, ponieważ wynika to z powyższej nierówności. Punkty są od siebie oddalone o długość zawartą w przedziale (1, ∞), wiesz w każdym przypadku zawarta jest liczba całkowita "1".