ユークリッドのオリジナル証明は背理法じゃなく当時らしい可能無限性を示したもの。