%0 Journal Article %A Cutland, Nigel J. %A Hanqiao, Feng %T An infinitesimal proof of the implicit function theorem %J Glasgow mathematical journal %D 1993 %P 163-166 %V 35 %N 2 %U http://geodesic.mathdoc.fr/articles/10.1017/S001708950000971X/ %R 10.1017/S001708950000971X %F 10_1017_S001708950000971X