>>11089713Oh, but I only do that when I've figured out the proof in my head just in case this happens. I'd gladly go up and do it in minutes. Perhaps not optimally, but that's alright.
I wouldn't do something like this if the proposition were nontrivial of course.
