>>662
別にウソは言ってないな
「√2が無理数なら√2は無理数である」ことを示しただけだけど