General relation between signed short and signed char minima.
Theorem: sshort-min-<=-schar-min
(defthm sshort-min-<=-schar-min (<= (sshort-min) (schar-min)) :rule-classes :linear)