sarkozys theorem