Using the explicit determination of all ovals in the 3 non-Desarguesian projective planes of order 9 given in [4] or [8], we prove that there are no other Benz planes of order 9 than the three miquelian planes and the Minkowski plane over the Dickson near-field of type \(\{3,2\}\).
1970-2025 CP (Manitoba, Canada) unless otherwise stated.