Why do mathematicians keep proving things they already know? · Briflio