Se $a \leqslant 0$ :
$a0 = a$
Como $a0 = 0$, isso é um absurdo para todo $a \neq 0$.
Logo, $0 \leqslant a$.
Se $1 \leqslant a$ :
$1a = 1$
Como $1a = a$, isso é um absurdo para todo $a \neq 1$.
Logo, $a \leqslant 1$.
Portanto, $0 \leqslant a \leqslant 1$.