theorem Th67: :: NUMBER10:67

for m, n being positive Nat
for s being natural Number st Polygon (s,m) = Polygon (s,n) & s >= 2 holds
m = n