Gauss's conjecture

GPTKB entity