State/Root counting over a field

 =Proof=

=Metadata=