This question was asked in Ex 2.2, 2
Prove root 2 is irratuonal
Faizi Khan's image