જો સમાન ક્ષેત્રફળવાળા બે સરળ બહુકોણ લેવામાં આવે તો પ્રથમ બહુકોણને બહુકોણીય ટુકડાઓમાં એવી રીતે કાપી શકાય કે તે બીજા બહુકોણને મળતા આવે. આ બોલયાઇ-ગેર્વિન પ્રમેય છે.