Brocard's_conjecture loading ...