The top documents tagged [proof of theorems x]