Para ; o conjunto solução de é