=translate[hulknurk1,u]

Pythagorose \; teoreemi \;tõestus \;ilma \;sõnadeta.

A = Point(xAxis)
B = Point(xAxis)
hulknurk1, f, g, h, i, C, D = Polygon(A, B, 4)
E = Point(h)
hulknurk2, j, k, l, m, F, G = Polygon(D, E, 4)
H = Midpoint(G, A)
hulknurk2' = Mirror(hulknurk2, H)
hulknurk1' = Mirror(hulknurk1, H)
D' = Mirror(D, H)
u = Vector(D', F)
v = Vector(D', B)
hulknurk2'_{1} = Translate(hulknurk2, u)
m1 = Sequence(Sequence[Translate[hulknurk1, Vector[(g * u) + (f * v)]], g, -5, 5], f, -5, 5)
m2 = Sequence(Sequence[Translate[hulknurk2, Vector[(g * u) + (f * v)]], g, -5, 5], f, -5, 5)
m3 = Sequence(Sequence[PolyLine[Translate[A, Vector[(i * u) + (h * v)]], Translate[D, Vector[(i * u) + (h * v)]], Translate[C, Vector[(i * u) + (h * v)]], Translate[B, Vector[(i * u) + (h * v)]], Translate[A, Vector[(i * u) + (h * v)]]], i, -5, 5], h, -5, 5)
m4 = Sequence(Sequence[Translate[PolyLine[D', F, F + v, B, D'], Vector[(a * u) + (b * v)]], a, -5, 5], b, -5, 5)