The theorem should be sign(a) == sign(m) instead of sign(a) == sign(b).
sign(a) == sign(m)
sign(a) == sign(b)