Modified formatting of mathematical proof def.