For a concrete member the pattern-divisor sets are finite, and for nonterminal states the number of divisors with an allowed pattern `P` is `tangentCount s P` evaluated at `q`.

Initializing...

For a concrete member the pattern-divisor sets are finite, and for nonterminal states the number of divisors with an allowed pattern `P` is `tangentCount s P` evaluated at `q`. · Prove2Me