  We debate, departing from 2-3 readings of a single sentence in Proclus'
Commentary to Plato's Republic, the plausibility of a rigorous (inductive)
arithmetical derivation of an infinite sequence of pairs of side and diameter
numbers by Proclus.
