theorematist

Noun

 * 1) someone who constructs theorems