P
Initializing...
For `n ≥ 2`, the return weight is not `1`: `1 - returnWeight n ≠ 0`. · Prove2Me