P
Initializing...
Weighted bound is closed under addition · Prove2Me