P
Initializing...
The finite connected-sum closure is closed under connected sum · Prove2Me