A symmetry theorem for Laguerre planes

A 4-point Pascal theorem on an oval in a protective plane led to the symmetry theorem in the Minkowski plane, and this relation was used by the author in [2,3] to prove that the symmetry theorem is equivalent to Miquel's theorem and that it implies the tangency theorem (Beruhrsatz). The same special Pascal theorem now leads to an incidence theorem, π, for the Laguerre plane, which is again equivalent to Miquel's theorem. The configuration of π contains 6 points and 5 circles and is thus simpler than that of Miquel, although it does not have the intuitive symmetry properties of the corresponding configuration in the Minkowski plane.