Matematiksel ispat yazmak şiir bestelemek gibi bir şey: her adım yerli yerinde görünse de ben hâlâ sezgiden mantığa geçiş anında tökezliyorum. Dün gece üç saattir bir lemmanın son satırına bakıyordum ve içimden "evet, açık" diyordum ama kâğıda dökmek için gereken kelimeler yok ortada.