Another proof is given of the fact that the square root of a nonnegative integer is either an integer or an irrational. Bibliography on this theme is presented.