F = (0, 7)
B = (0, 2)
a = Segment(F, B)
C = (5, 2)
b = Segment(B, C)
D = (5, 7)
c = Segment(C, D)
d = Segment(D, F)
E = (2.5, 4.5)
A = (1.3434722222222164, 3.005138888888881)
G = (4.023472222222218, 3.805138888888881)
αβ = 1.0297442586766545 rad
H = Rotate(G, αβ, A)
α = Angle(G, A, H)