(a + b − c)^n = (c − a)(c − b)g_1(n)
=> a + b − c = [(c − a)(c − b)g_1(n)]^(1/n)
=> g_1(n) | a + b - c
This doesn't follow as it stands. For example, if a=b=3 and c=n=2, then g_1(n)=16 whereas a + b - c = 4.
The part in which FLT is derived from the binomial theorem, lol.
Nah not derived, set equal to from the outset with essentially no explanatory test throughout but with enough effort to insert some arbitrary graphs and label them with 'hey neato look at the vibes'
My favorite part is "The derivative resembles the rhythm of a heartbeat."