Comment by bwestergard

Why prove the Pythagorean theorem rather than just prove 3^2 + 4^2 = 5^2?

For any practical application, you are only interested in finite set of concrete identities, so anything beyond that is surplus to requirements, surely?