Resolver cuadro mágico, usando axiomas