P
Initializing...
Finite range and equality case through 5040 · Prove2Me