<human>:  I have a question about mathematical rigor. Who was the first person to prove that a+b = b+a?
<bot>: 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.