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