1812年なら
ガウスはすでに知っていたはず