The top documents tagged [theorem ib]