Tight closure/Monsky-quartic/Explicit non-inclusion/Fact/Proof

Proof

This is an elementary but tedious computation.