conversion Fin n -> Fin (S m) when (S m) is greater or equal to n : just a renaming of the elements