On the equivalence of Lagrange's axiom to the Lotschnittaxiom (Q2380488)

The author shows that in Hilbert's plane absolute geometry the following two axioms are equivalent. \textit{Lagrange's axiom} \(\mathbf{L}\), ''If \(a\) and \(b\) are two parallels from \(P\) to \(g\), then the reflection of \(a\) in \(b\) is parallel to \(g\) as well''. Bachmann's \textit{Lotschnittaxiom} \(\mathbf{A}\), ''Every quadrilateral with three right angles closes''.