સપ્રમાણતા - જો સમાનતા એમ ~ એન, ત્યાં એન ~ એમ હશે;