Hacker News Reader

Just because a proof is valid doesn't mean it proves the thing you want it to prove.

Of course you must check the statement, that is obvious. The advantage (to put it mildly) is that you don't have to check the entire proof by hand.