square corners

given that the shape is a square
with one of its corners at the origin

and given the coordinates of the clockwise adjacent corner
what are the coordinates of the other two corners?

in general?
a proof?