Suppose the square root of two was rational. You express it as a reduced fraction p over q and...

...square it and multiply by q². It follows...

...that p² is even and hence...

Sorry, could you repeat the last bit? I've looked whether someone is watching us.