The top documents tagged [fass13 proof of theorem]