let n be odd Nat; :: thesis: n divides Triangle n
n divides Polygon (3,n) by Th36;
hence n divides Triangle n by Th40; :: thesis: verum