Let d be a positive integer. Let a, b be integeres. Define

a/= b ( three times straight lines) (mod d)

I just did a=2 b=2
= (a * b ) (b * a ) = (mod d)

a/=b (mod d )

New to this and proving is my weakness for now.