The top documents tagged [reduced theorem equivalent]