The top documents tagged [supporting theorem]