મીસ્ટર દ્વારા 1769માં સૂત્ર વર્ણવામાં આવ્યું હતું(સંદર્ભ આપો) અને ગૌસ દ્વારા 1795માં સૂત્ર આપવામાં આવ્યું હતું. બહુકોણને ત્રિકોણમાં વહેંચીને તેની ખરાઇ કરી શકાય છે પરંતુ તેને ગ્રીનના પ્રમેયના વિશેષ કિસ્સા તરીકે પણ જોવામાં આવે છે.