Site uses cookies to provide basic functionality.

OK
It doesn't matter how long it takes, if the end result is a good theorem.
John Tate