You can't state difference and also state equality. We have to state sameness to understand equality.
or simply: