The top documents tagged [number of vertices proof]