Täisnurkse kolmnurga kaatetitele (AC ja AB) 
joonestatud ruutude summa on võrdne 
hüpotenuusile (BC) joonestatud ruudu pindalaga. 

S_A_C_F_G + S_A_B_D_E = S_B_C_I_H

A = Intersect(xAxis, yAxis)
B = Point(yAxis)
C = (-10, 0)
t1, c_{1}, a_{1}, b_{1} = Polygon(A, B, C)
hulknurk1, f, g, h, i, D, E = Polygon(B, A, 4)
hulknurk2, j, k, l, m, F, G = Polygon(A, C, 4)
hulknurk3, n, a_{2}, a_{3}, r, H, I = Polygon(C, B, 4)
Punkthulknurk3 = PointIn(hulknurk3)
tekst3: "" + (LaTeX[hulknurk2]) + "+" + (LaTeX[hulknurk1]) + "=" + (LaTeX[hulknurk3]) + ""