The peculiarity of the evidence of mathematical truths is that all the argument is on one side.