La mayoría de las posibilidades conducían a una contradicción, y las pocas restantes se podían probar a mano.