socrates boy meno number numbers project gutenberg etext story socratic dialogue proving square root irrational copyrighted gutnberg unknown continuation proves mathematics pickard arthur wallace translator 