Got it. I was trying to do a proof while avoiding abstract algebra as much as possible, given how rusty I am with it.

Thanks for the feedback, and additional things to take a look at!