[] ISF theorem.