method of proof examples discrete mathematics