https://123dok.net/document/qo5jjmv0-presentations-mapping-groups-orientable-surfaces-poincaré-polyhedron-theorem.html