てんかんほう【転換法】 一群の定理があって，それらの仮定は起こりうるすべての場合を尽くし，その結論がすべて独立であるとき，これらの定理の逆はすべて真である，ということを使う証明法。