=> (-12).x+7={-40;40}
=> +) (-12).x+7=40
=> (-12).x=40-7=33
Vì 33 ko chia hết cho 7 => x ko tồn tại ở trường hợp này.
+) (-12).x+7=(-40)
=> (-12).x=(-40)-7
=> (-12).x=(-47)
Vì (-47) ko chia hết cho (-12) => x ko tồn tại
Từ 2 trường hợp trên => x thuộc rỗng