Gromov-Ruh theorem