若mn互为相反数,且m不等于0,那么一定成立的是