1.  \; k_1:(O, r_1=OM_1);k_1:(O, r_2=OM_2)

2. \; S∈k_2

3. \; ρ_O(k_2)=k_2'; \; A,B∈k_1∩k_2'

C=A'

4. \; ρ_O(A)=A'=C

D=B'

5. \; ρ_O(B)=B'=D

6.  \text{ Obdĺžnik }ABCD

O = (1.872, 2.338)
M_1 = (7, 2)
k_1 = Circle(O, M_1)
M_2 = (5, 2)
k_2 = Circle(O, M_2)
S = PointIn(k_2)
k_2' = Mirror(k_2, S)
A = Intersect(k_1, k_2', 2)
B = Intersect(k_1, k_2', 1)
A' = Mirror(A, S)
B' = Mirror(B, S)
q1, b, a', b', a = Polygon(B, A', B', A)