5 - √3
Let us assume 5 - √3 is rational.
But this contradicts that fact that √3 is .
This contradiction has arisen because of our assumption that 5 - √3 is
So 5 - √3 is