For those more familiar with elliptic curve cryptography: while this is a rather more generic case, does it have any implication or novelty for EEC?

Has someone been reading David Eisenbud lately?

I made this comment without reading the post and didn't notice where he mentioned the book.

This would make a great coding interview question. ;-)

Thinking about it, I'm wondering what a "proving interview" would be like for a mathematician.