17. This is a special formulation. In his 1840 work Lobatchevsky gives what amounts to the form usually given in modern texts and which Gauss also has, namely,