bit further in proof about iso of types of isos