Who was the first to introduce the idea of proof?

**********