A_1 = (-0.24000000000000005, 3.3199999999999994)
B_1 = (4.760000000000001, 3.3199999999999994)
A = (3.029709856035437, 3.265941971207088)
B = (7.449709856035438, 3.265941971207088)
O = (9.59651029900333, 7.538259136212635)
angle = 100 (slider from -180 to 180, step 1)
image1' = Rotate(image1, (-(angle°)), O)
C = (3.2407273532668905, 9.120719379844973)
a = Segment(O, C)
O' = Rotate(O, (-(angle°)), O)
C' = Rotate(C, (-(angle°)), O)
a' = Segment(O', C')