રજૂ દ્વારા સૂત્ર સાબિત કરી શકાય, ખાલી કૌંસમાં ખોલો અને સમાન શરતો પરિણમે છે.