Para comprobar si se cumplen estas relaciones, formadas por 15 funciones, el siguiente paso es comprobar si las relaciones descritas hasta ahora bastan para describir completamente el estado de un cuerpo.