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