An examination of job interchange relationships and induction-based proofs in single machine scheduling