Corrección de la prueba de Bird del Criba de Eratóstenes: Una prueba sobre listas infinitas

Este artículo corrige una prueba errónea de Richard Bird en su libro *Pensar funcionalmente con Haskell* sobre la Criba de Eratóstenes. Bird presenta una implementación circular basada en listas, pero su sugerencia de prueba es defectuosa. Los autores proporcionan una prueba de corrección completa mediante la introducción de nuevos lemas y recurriendo a un debilitamiento del Postulado de Bertrand. También se explora la conexión entre este algoritmo y la visión de David Turner de "Programación Funcional Total".