[mkehrt]

I don't understand that. If it has a correct statement of the theorem and no `believe-me`s or whatever, it should be correct.