# Verifying equality with Modulos

Hello,

I would like to verify an equality such as

```
((a+b)%n-b)%n == a
```

with, naturally, integer numbers. But i couldn't find how to declare integer but empty variables in Sage in order to test such an equality, without declaring precise and specific numbers (which would be useless, I want to verify it for **any** number of Z).

Any idea? Thanks

I'm not sure Sage has the tools for that.