The top documents tagged [fass11 proof of theorem]