P
Initializing...
A finite subset with at least as many elements is equal · Prove2Me