P
Initializing...
Base case k = 0 from the accepted first-order results only · Prove2Me