P
Initializing...
§3 — $|\mathrm{Ni}_c|=7$ for $c=(2,23A,23B)$ · Prove2Me