@ColinTheMathmo does the proof of that involve numbers mod 4? I'm just a group theorist, proper numbers hurt my head