State and Prove Proposition 1.39. Define the action of the deck transformation group on a covering space. Show that the action satisfies (*) on p. 72. You can stop before the paragraph talking about the orbit space of the action.