Fermat \; kahe \; ruudu \; teoreem: \; Naturaalarv \; n \; on \; kirjutatav \; kahe \; täisarvu \; ruudu \; summana \; parajasti \; siis,\
kui \; tema \; iga \; algarvuline \; tegur, \; mis \; on \; kujul \; 4m+3, \; on \; paarisarvulise \; astendajaga.

Kasutatud allikad:
Mathologer (2020, jaanuar 25). Why was this visual proof missed for 400 years? (Fermat's two square theorem). Vaadatud aadressil: 
                        https://www.youtube.com/watch?v=DjI1NICfjOk
Numberphile (2020, aprill 4). Impossible Squares - Numberphile. Vaadatud aadressil: https://www.youtube.com/watch?v=xyVl-tcB8pI

a = 11 (slider from 1 to 25, step 1)
b = 1 (slider from 0 to a - 1, step 1)
A: (a, a)
B: (a, a - b)
C: (b, a)
D: (0, b)
E: (a - b, 0)
Arv, d, c, b_1, e = Polygon(D, C, B, E)
F: (0, a)
G: (a, 0)
H = Point(xAxis)
q2, h, g, a_1, f = Polygon(H, G, A, F)
text1: "" + (a - b) + ""
text2: "" + b + ""
TegTabel = Factors((a - b)^(2) + b^(2))
tegArv = Dimension(TegTabel)
tegurid = Sequence(TegTabel(i, 1), i, 1, tegArv(1))
teguriteAstmed = Sequence(TegTabel(i, 2), i, 1, tegArv(1))
kontro: tegArv(1)
text4: "Arvu \; " + (LaTeX[Arv]) + " \; algarvulised \; tegurid: " + (LaTeX[TegTabel(1, 1)]) + "^" + (LaTeX[TegTabel(1, 2)]) + "·" + (LaTeX[TegTabel(2, 1)]) + "^" + (LaTeX[TegTabel(2, 2)]) + "·" + (LaTeX[TegTabel(3, 1)]) + "^" + (LaTeX[TegTabel(3, 2)]) + ""
text3: "n=(a-b)^2+b^2=" + (LaTeX[a - b]) + "^2+" + (LaTeX[b]) + "^2=" + (LaTeX[Arv]) + ""