Build the mathematical proof