Saccheri and the reductio ad absurtum method?