The top documents tagged [theorem suppose]