Seja o conjunto das soluções do sistemae seja o conjunto das soluções do sistemaEntão temos: