Beal's_conjecture loading ...