[math-fun] Extension of a theorem on n-gons