Kind of shocking to see so much angst against memorization here. Memory has been long thought to be a critical component of intelligence, with elaborate mnemonics systems developed by people to help memorize more things (see Francis Yates' The Art of Memory, and to a lesser extent her book on Giordano Bruno). I would contend that memorizing concepts is a first step in understanding them. Also, that generally understa…
That is true understanding. He won't need to remember the theorem, because in his mind, it automatically follows from the raw data.