Whitney's approximation theorem