>>311
その定義では不十分です

・任意の多角形は有限個の三角形の和に分割できること
・その面積は三角形への分割の仕方によらないこと

の証明が必要です