The mathematical proof