I concur, but I don’t know how to prove it