Fixed error with two ends of proof of Theorem 1#9

AlexKontorovich merged 2 commits intoAlexKontorovich:mainAlexKontorovich/CoveringSpacesProject:mainfrom

jmorgan-hub:JMworkjmorgan-hub/CoveringSpacesProject:JMworkCopy head branch name to clipboard