rigorous demonstration that a mathematical statement follows from its premises
mathematical proof is a character.