Mathematicians use proofs in order to determine whether mathematical theorems are true. But how can the proof itself be justified? The theorem is justified by the proof. What is there to justify the proof itself?