tarea de ternas de hoare y correctez de un programa