Verify by the method of contradiction that `sqrt(7)` is irrational.

Explanation

It must in the form of (a/b) where a, b have no common factor


Let `sqrt(7)
​=a/b​`

`⇒7=(a^2)/(b^2)​`


`⇒a^2=7b^2`


...