William Elliot wrote: > On Tue, 3 Sep 2013, Lite Beta wrote: > >> Is there a reason why most theorems in Euclidean geometry are IFF theorems? > > They are? My impresion what that most were constructive. > Isn't it proofs that are constructive rather than theorems?
-- Sorrow in all lands, and grievous omens. Great anger in the dragon of the hills, And silent now the earth's green oracles That will not speak again of innocence. David Sutton -- Geomancies