Over any complete DVR with finite residue field of cardinality `q`, a random primitive binary quadratic form is ramified (type `(2,1)`) with probability `q / (q² + q + 1)`.

Initializing...

Over any complete DVR with finite residue field of cardinality `q`, a random primitive binary quadratic form is ramified (type `(2,1)`) with probability `q / (q² + q + 1)`. · Prove2Me