Worked: 5 − √3 is irrational

Assume 5 − √3 = a/b (rational). Rearrange: √3 = 5 − a/b — the right side is rational, so √3would be rational. But it isn't. Contradiction — so 5 − √3 is irrational.