Gauss' Pythagorean right triangle proposal