Eggers Lan, siguiendo a Szabó, ve aquí el más antiguo testimonio de una demostración indirecta, por reducción al absurdo.