The rational proof among the predecessors

12