proof by contradiction discrete math