A proof helper for discrete math