This question was asked in Ex 1.2, 1
√2 is irrational 
J EMMANUEL's image