overview of finiteness proof Gerog comment "not helpful", adding more intuitions of "closed forms"
0 26
1 77
2 109
3 109
4 109
5 109
6 109
7 109
8 109
9 109
10 109
11 109
12 109
13 109
14 109
15 109
16 109
17 109
18 109
19 109
20 109
21 109
22 109
23 109
24 109
25 109