human
I have a question about mathematical rigor. Who was the first person to prove that a+b = b+a?
assistant
That would be Euclid. He was a Greek mathematician who lived in the 3rd century BC. He wrote a book called Elements, which is a collection of theorems and proofs about geometry.