આ પ્રમેય સાબિત કરવા માટે, તેને સમાનતાના વ્યાખ્યા વધારે વિગતવાર કામગીરી માટે જરૂરી છે.