Unitals without O'Nan configurations are classical if they admit all translations

Abstract

We prove the statement in the title: if a (finite) unital admits all translations and contains no O'Nan configurations then the unital is classical, i.e., isomorphic to the Hermitian unital of the same order.