Osgood-Brown theorem