En este último da las condiciones por las cuales un sistema de ecuaciones tiene soluciones no triviales.