Gauss’s conjecture