9- If flu] 5 31:21:} fur every 1: in [5J1], then x} d9: 1: I: ELI} :1er unless x]=g{x] far all 1