대학 교수들도 복잡한 증명은 술술 잘하지만 네 자리 수 곱셈 암산하라고 하면 잘 못하잖아