Hello everyone!

I'm new to modular arithmetic, I read a few identities like:

and

... I searched this, but couldn't find an identity for this:

. But so what? We didn't reduce the equation, we just replaced by .

Is there a way that calculates or defines ?