Residual finiteness of surface groups via tessellations

We give an alternative proof to a theorem by P. Scott that surface groups have the locally extended residually finite (LERF) property, using combinatorial properties of tilings of the hyperbolic plane.