Tight closure/Monsky-Quartic/explicit not inclusion/Fakt/Beweisverweis

This is an elementary but tedious computation.