More on resolution thm.