added H-closed proof