S = Point(xAxis)
S' = Point(P')
A = Point(P)
a = Segment(S, A)
b = Line(S', a)
A' = Intersect(P', b, 2)
c = Segment(S', A')
d = Line(S, S')
e = Line(A, A')
Ω = Intersect(d, e)