この話、よくわからないのだけど
例えばその背理法不要先生による
「√2は無理数である」
の証明はどういう形式をとるの?