a technique in solving, theorem 3.5.1 in the book