Este blog continúa la serie Calculemus, en la que proponemos un nuevo ejercicio de demostración cada semana y publicamos las soluciones usando Lean 4.