typo 9.1 ex 10

[rzeta0]

says

Prove or disprove that {n : Z n | is even}

should say

Prove or disprove that {n : Z | n is even}