対角論法
【たいかくろんぽう】
【taikakuronpou】
对角线法