K = (-0.82, -1.87)
B = (6.376363636363636, 4.172727272727272)
b = Line(K, B)
A = (2.28, 5.39)
a = Line(K, A)
P = (4.350158758314859, 0.7043077605321496)
P' = Mirror(P, b)
P'' = Mirror(P', a)
c = Segment(P, K)
d = Segment(P', K)
e = Segment(P'', K)
α = Angle(P, K, P'')
f = Segment(P', P)
g = Segment(P', P'')