pub fn add_associative() -> bool
(a + b) + c = a + (b + c) — additive associativity in ℤ/2ⁿ.
(a + b) + c = a + (b + c)