આ ગાણિતિક પુરાવામાં જે રીતે કરવામાં આવે છે તે ડબલ સમાવેશની પ્રક્રિયા દ્વારા છે.