Consider using induction or contradiction.