The top documents tagged [proven solution 4t24]