Minus One is Less than Zero

Theorem

 * $-1 < 0$