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 t

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!