P
Initializing...
Eliminating an auxiliary recurrence · Prove2Me