Subtraction Property Of Equality Spe