finished def folds2iso, prepare statement of thm 5.26