Hmm. I do use that result in the context of number theory, and I suppose I could bend it to use it as an example of groups in abstract being used in practice.

Hmm. I do use that result in the context of number theory, and I suppose I could bend it to use it as an example of groups in abstract being used in practice. I'll have to think about that, but it does show promise. The question is, how can I present it as a result that's specifically from group theory being used in number theory? Does that make sense? I'd like to be able to demonstrate something that's specifically group theory, and I'm finding it hard to extract the abstract, in this case. But it shows promise.