Legendre's_conjecture loading ...