The same machine: √3, √5, …

Run the identical argument with 3 in place of 2 and you prove √3 irrational; with 5, √5. In general √p is irrational for every prime p. One proof, endless reach.