Function  with correction theorem