P
Initializing...
Independent coefficient rows make the hash map surjective · Prove2Me