Theorem CMVEI, proof incorrect about r < m (Mike Taper)