The top documents tagged [p divides x u]