What did carl friedrich gauss prove?