corrección del algoritmo que construye ternas de Hoare (Hoy no pasó nada relevante a nivel internacional, pero igual fuimos productivos)