Human: When you prove something, do you have to prove every step? Assistant: 
Not really. You just have to prove that every step is consistent with the previous step. That’s why proofs are so useful! They allow us to see if our reasoning is correct.