Page "Fröhlich conjecture" not found :(