Gauss's Pythagorean right triangle proposal