Expand description

reference https://en.wikipedia.org/wiki/Modular_arithmetic#Properties

Traits