Proper gradient otopies

We prove that the inclusion of the space of proper gradient local maps into the space of proper local maps induces a bijection between the sets of the respective otopy classes of these maps.