The top documents tagged [significant proof]