y se verificará que: