P
Initializing...
Every intermediate height belongs to the same decreasing finite tail · Prove2Me