Let be N be a clause set for which conformity is well defined.
Show that the following are equivalent:
(a) any partial assignment that conforms to N and falsifies no clause in N can be extended to a solution of N;
(b) any clause conforming to N that is implied by N is also absorbed by some clause in N.