間接証明
【かんせつしょうめい】
【kansetsusyoumei】
间接证明