The crossing state `(a, b, c, h)` of the concrete surface has measure `(q - 1) q^(-(c + h))`, where `q` is the size of the residue field.

Initializing...

The crossing state `(a, b, c, h)` of the concrete surface has measure `(q - 1) q^(-(c + h))`, where `q` is the size of the residue field. · Prove2Me