P
Initializing...
For `n ≥ 2`, `S(a;n)` has exactly one allowed self pattern. · Prove2Me