This question was asked in Ex 1.3, 3
Prove root 3 irrational

Dinesh PR's image