Plugged in the iso classes in the statement of the thm