Words: proof
Part of speech: n
Definition: a formal series of statements showing that if one thing is true something else necessarily follows from it