x≦0または0≦xかつaが偶数なら成り立つ