The square root of 7 by Robert J. Nemiroff and Jerry T. Bonnell