Naravno, to jeste tačno. Možemo proveriti, recimo, ovako: kvadrat racionalnog broja
, gde je
prost i
(svaki racionalan broj koji nije i ceo može se zapisati na ovaj način) iznosi
. Jasno, važi i
, te ni kvadrat uočenog broja ne može biti ceo.
Ljubičice crvena, što si plava kô zelena trava.