This work contains a new version of Poincare's Polyhedron Theorem that also
suits geometries of nonconstant curvature lacking the help from typical
convexity arguments. Most conditions of the theorem, being as local as
possible, are easy to verify in practice.