A characterization of free projective planes is given that is more symmetrical than
the original definition of M. Hall. It tends to very simple proofs of two fundamental
theorems due to M. Hall and L. I. Kopejkina-one being the result that every subplane
of a free plane is free.