(2)の解法では(1)が否定されたので(2)〜(4)のどれか
少なくても一方は偶数になる