frozen-in flux theorem