The top documents tagged [proof of theorem x]