The only general result on the non-existence of finite projective planes is the Bruck–Ryser theorem, which says that if a projective plane of order exists and or ≡ 2 (mod 4), then must be the sum of two (integer) squares. This rules out projective planes of orders 6 and 14 for instance, but does not guarantee the existence of a plane when satisfies the condition. In particular, = 10 satisfies the conditions, but no projective plane of order 10 exists, as was shown by a very long computer search, which in turn implies that there do not exist nine MOLS of order 10.