theorem relating one side of a polygon