P

Initializing...

Positive powers of fundamental units still generate a subgroup of finite index · Prove2Me