Краткое изложение доказательста непротиворечивости планиметрии Лобачевского