The single state `(a, c)` of the concrete surface (with `b = 0`) has measure `q^(-c)`, where `q` is the size of the residue field.

Initializing...

The single state `(a, c)` of the concrete surface (with `b = 0`) has measure `q^(-c)`, where `q` is the size of the residue field. · Prove2Me