Unreachability Proofs for ß Rewriting Systems by Homomorphisms