It assumes that you already know how modulus works under the hood, which I absolutely did not. The proof for how it's allowed is at the bottom which I would have read first if I'd have known.