The top documents tagged [rational number proof]