Oops, there's your proof I didn't write this with AI! Fixing, sorry.