Lobachevsky started to work on computing volumes of hyperbolic polytopes long before the first model of the hyperbolic space was found. He discovered an extraordinary formula for the volume of an orthoscheme via a particular function called dilogarithm. We will discuss a generalization of the formula of Lobachevsky to higher dimensions. For reasons I do not fully understand, a mild modification of this formula leads to the proof of a conjecture of Goncharov about the depth of multiple polylogarithms. Moreover, the same construction leads to a functional equation for polylogarithms generalizing known equations of Abel, Kummer, and Goncharov.