Identifique invariantes no procedimento ShiftAndExato, que implementa o método Shift-And no livro do Ziviani. Use estas invariantes para demonstrar a corretude do algoritmo.