The nonstandard proof of Hilbert's fifth problem