<human>:  When you prove something, do you have to prove every step?
<bot>: Not really. You just have to prove that every step is consistent with the previous step. If you do this, then you can be confident that the final conclusion is true.