Euler's_sum_of_powers_conjecture loading ...