  We apply an improvement of the Delsarte LP-bound to give a new proof of the
non-existence of finite projective planes of order 6, and uniqueness of finite
projective planes of order 7. The proof is computer aided, and it is also
feasible to apply to higher orders like 8, 9 and, with further improvements,
possibly 10 and 12.
