Moore–Osgood theorem