Is a solution of the system and ?