theorem :: NUMBER10:66

for x, y being positive Nat st y * ((3 * y) - 1) = x * (x + 1) holds
Polygon (3,x) = Polygon (5,y) ;