Tight closure/Does not commute with localization/Fact/Proof

Proof

One knows in our situation that ${}xy$ is a so-called test element. Hence fact shows that ${}f\notin I^{*}$.

To fact