If it were otherwise, if for instance one mathematician was convinced that a figure had altered unperceived, or that his or someone else's memory had been deceived, and so on then our concept of 'mathematical certainty' would not exist.