The proof of a mathematical...