P
Initializing...
**Divisor cell law.** Assuming the root cell law, the reduced form cell of a divisor `D` with array `m` has law `arrayLaw m`. · Prove2Me