On: Formalizing Fermat's Last Theorem

[yesitcan]

If they’re asking that kind of question, do you think this answer will help them understand anything?

[sweetheart → yesitcan]

maybe it will be an answer that entices them to understand more :)

[kzrdude → yesitcan]

Yes