タレスの証明法について-帰謬法の起源に関する一考察-