Teorema kekompakan Gromov (geometri)