P
Initializing...
An injective map into n copies of Q_p bounds the Z_p-rank by n · Prove2Me