additive_inverse.md: example.