Osgood theorem