Question 401255
Remembering is memorizing.
How many theorems are there?