O trabalho de um matemático é 5% insight criativo e 95% auto-verificação — Vladimir Voevodsky (Medalha Fields, 2002)