Gauss's Eureka theorem

GPTKB entity