Fix type typo in the proof of theorem 2.6.4