Since is thin, for any with . Let , and let be an evenly covered path-connected open neighbourhood of with the sheet over containing Since A deck transformation maps sheets to sheets, both and are sheets over , and since they each contain a different element of the fibre , they are disjoint. Therefore acts properly discontinuously