I don't see the proof of the 9-1