Hungarian mathematician Erdős Paul once asserted: "A mathematician is a device for turning coffee into theorems."
Why don't we prove it mathematically?
Solve the cryptogram below, and submit your answer as the 7-digit integer THEOREM.
+TCCCHOOOEFFFOFFFREEEEEEEM
In a cryptogram, each symbol represents a distinct, non-negative, single digit, and all leading digits are non-zero.
This problem is a part of <Christmas Streak 2017> series.