[OscarCunningham]

Thanks. I realized this just after I posted it, so I wrote the proof into my comment instead.