The top documents tagged [proving lines parallelwhat]