Assertivas da classe auxiliar_algoritmo