P
Initializing...
Theorem 2.17 -- avoiding zero for $r$ steps · Prove2Me