Prove that mn < 0 if and only if m > 0 and n < 0 or m < 0 and n > 0