General relation between signed long long and signed long minima.
Theorem: sllong-min-<=-slong-min
(defthm sllong-min-<=-slong-min (<= (sllong-min) (slong-min)) :rule-classes :linear)