 reserve n,s for Nat;

theorem Th41:
  for n being odd Nat holds
    n divides Triangle n
  proof
    let n be odd Nat;
    n divides Polygon (3,n) by Th36;
    hence thesis by Th40;
  end;
