But mostly, no, proofs are just really cool little logical works of art. Check out Journey through Genius by William Dunham. He rolls through some of history's greatest.