discrete math proof tables