in reply to Adding 2 + 2

I don't know about 2+2, but I think 1+1=2 has been proven.