The aim of proof is to understand, not just to verify.
There are two freedoms - the false, where a man is free to do what he likes; the true, where he is free to do what he ought.