Gauss's_Pythagorean_right_triangle_proposal loading ...