this is neat! But it seems like they're doing huge calculations for that.

p is a prime number because it needs to be a cyclic group! It all makes sense :D