[Tloewald]

A proof is only, at bottom, a convincing argument. Mathmematicians are harder to convince than most people, but they can still miss things.