How do you find the length of the diagonal of a square in terms of its edge a?