section_heading: Primjer i dokaz
paragraph_text: Prema pomoćnoj lemi slijedi da na udaljenosti <math>|\{x\sqrt{2}\} - \{y\sqrt{2}\}|</math> od broja <math> x\sqrt{2} - y\sqrt{2} = \sqrt{2}(x - y) </math> postoji <math>p \in \mathbb{Z} </math>.