Hän osoitti, että useassa eri teoreemojen, Eukleides' s Elementit voidaan määritellä yhden lause. ###>He showed that several of the theorems of Euclid 's Elements can be established from a single theorem.