Zbir je
(*)

.
Neka su

ma koji parni celi brojevi.
Tada vektor
(**)

ima oblik prethodnog zbira za

,

,

,

,

,

,
odnosno

,

,

,

,

,

.
Brojevi

su celi kao polovine parnih brojeva. Dakle, na opisani način se može dobiti bilo koji vektor oblika (**), gde su

parni celi brojevi, odnosno dvostruka vrednost bilo kog vektora oblika (**), gde su

celi brojevi.
Izaberimo koordinatni sistem sa centrom u centru datog ikosaedra, takav da za neku pozitivnu konstantu

temena imaju koordinate

,

,

i neka je

ma koji vektor.
Izaberimo cele brojeve

takve da važi

. Tada dvostruka vrednost vektora (**) odstupa od vektora

manje od

, dok odgovarajuća celobrojna linearna kombinacija vektora koji spajaju centar datog ikosaedra sa njegovim temenima odstupa od

za manje od

.
Dokažimo da za ma koji iracionalan broj

važi da je skup

.
Ako sa
![[x]](https://static.elitesecurity.org/tex/bada00514d6d85dcd73690e9c7566f51.png)
označimo najveći ceo broj koji nije veći od

, onda za niz
![a_n=n\alpha-[n\alpha]](https://static.elitesecurity.org/tex/0112dd7c5989b2c334d31147099b8174.png)
važi da je ograničen između 0 i 1 i da je

za

.
U suprotnom bi iz
![m\alpha-[m\alpha]=n\alpha-[n\alpha]](https://static.elitesecurity.org/tex/c5963af97ee2bb7a0532185f422b9d8d.png)
sledilo
![\alpha=\frac{[m\alpha]-[n\alpha]}{m-n}](https://static.elitesecurity.org/tex/dd8ee491655d51b8b61ed3e5f3916d1b.png)
, što je u suprotnosti sa iracionalnošću broja

.
Svaki ograničen niz ima konvergentan podniz, pa se oduzimanjem bliskih različitih elemenata datog niza dobija da skupu

pripadaju proizvoljno mali pozitivni brojevi.
Neka je

ma koji realan broj i neka je

proizvoljno veliki prirodan broj. Neka su

celi brojevi takvi da je

i neka je

najveći ceo broj takav da je

. Tada je

.
Potpis
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.