Moore-Osgood theorem