数学界で決着済みなことのソースは >>367