mathematical proof on screen