Fix notation in proof of theorem 3.1