>Seeing as mathematicians proving things in math has minimal relation to the real world, I'm not sure how important this is.

Évariste Galois says hi and Satoshi-sensei greets him back.