10.4. Принцип резолюций и доказательство теорем