proof by contradiction in discrete mathematics