So the length of y3 prime that I just defined is equal to the square root of 3 squared, which is 9, plus 1 squared plus minus 1 squared plus 1 squared, which is equal to the square root of 12, which is what?