a + a
a ≤
0
0
a ≤
«