A mathematician may use paper and pen to write out his proof of a theorem