P
Initializing...
Propagation lemma: a leading $1$ followed by $0$s and $2$s persists · Prove2Me