Rotate point (4,0)(4, 0)(4,0) by 45^\\circ counter-clockwise about the origin.
(2sqrt2,2sqrt2)(2\\sqrt{2}, 2\\sqrt{2})(2sqrt2,2sqrt2)
(4,4)(4, 4)(4,4)
(2,2)(2, 2)(2,2)
(0,4)(0, 4)(0,4)