some lemmas about folds isos