Similarly, we can think of the boys' formula for powers or square lines at a as making the point that, for any positive integer, √n is irrational if and only if there is no positive integer such that.