It reaches combinations too

Once you know √2 and √3 are irrational, you can prove whole families irrational — things like 5 − √3 or 3√2 — using two simple facts.