S = Point(xAxis)
A = Intersect(xAxis, yAxis)
k = Circle(S, A)
f = Line(A, S)
C = Intersect(k, f, 2)
B = Point(k)
D = Point(k)
g = Segment(A, B)
h = Segment(B, C)
i = Segment(C, D)
j = Segment(D, A)
l = Segment(A, C)
α = Angle(D, A, C)
β = Angle(B, A, C)
m = Line(B, S)
P = Intersect(k, m, 2)
n = Segment(B, P)
p = Segment(P, D)
q = Segment(D, B)
γ = Angle(B, P, D)