>>190
a≠0を仮定して矛盾を導きだせるならそれでもよい。背理法とはそういうものだ。