Arithmetic of `densityValue` (multiplicativity, additivity, values on `q⁻ⁿ` and `1`, finiteness and positivity) and positivity of state volumes at an integer `q ≥ 2`.

Initializing...

Arithmetic of `densityValue` (multiplicativity, additivity, values on `q⁻ⁿ` and `1`, finiteness and positivity) and positivity of state volumes at an integer `q ≥ 2`. · Prove2Me