Additive Inverse Property For Modular