State/Arithmetic progression rule for binary quadratic forms

 =Proof=