Prof. Corvus Adamas: Luvut ja todistusmenetelmät