I
n
[
]
:
=
S
o
l
v
e
[
{
x
^
2
+
y
^
2
=
=
1
,
x
=
=
y
}
,
{
x
,
y
}
]
O
u
t
[
]
=
x
-
1
2
,
y
-
1
2
,
x
1
2
,
y
1
2