# How well should I know understand the theorem before proving it?

Im reading "How to prove it" by velleman, and in a lot of the exercises you need to prove some theorem is true. How well should I understand why the theorem is actually true before proving it? For me it's pretty easy to prove something just by following the rules, but idk if that's smart.

For example:
Suppose $$R$$ and $$S$$ are symmetric on $$A$$.
Prove that $$R\circ S$$ is symmetric iff $$R\circ S=S\circ R$$

Here is my answer: Before writing the proof, I didn't take the time to fully understand why its true, but I could still write the proof by following the rules.
What I mean by not fully understanding it, is that if someone asked me:
"If you have two relations on a set, why is it true that their composition is symmetric if and only if their composition is commutative?"
I could only explain it by doing a step by step proof.

I feel like that kind of says I don't understand relations, compositions and symmetricity. Because with something like 2+2=4 I obviously understand why its true without writing a proof.

• But can you prove that 2+2=4? May 28 at 16:48
• Your question is clear and imo very interesting, but too general to get an appropriate answer, I think. As for you example, the "reason why" is that a relation $R$ is symmetric iff it is equal to its opposite $R^{op},$ and that $(R\circ S)^{op}=S^{op}\circ R^{op}.$ May 28 at 16:53
• Sometimes it's probably not possible to recast the result to something that allows you to understand why it is correct, such as the product of $3384$ and $2187$ is equal to $7400808.$ Other times such a reduction may not occur until you learn more, such as what @Anne Bauval said in a comment. Indeed, a large part of the "theory-building" part of mathematics is seeking such reductions (see The Two Cultures of Mathematics by Gowers and this search). May 28 at 18:15
• You asked: "How well should I understand why the theorem is actually true before proving it?" I would say there is no need to understand why the theorem is true before proving it. Of course, it is nice to have an intuitive understanding of why a theorem is true. But if you insist on achieving that understanding before you write your proof, then the only theorems you will ever be able to prove are those that are so simple that you can see intuitively why they are true before working out the proof. May 30 at 15:39
• By the way: Nice proof. May 30 at 15:39