Proof of the Fundamental Lemma of Complexity (Strong Version) for Arbitrary Finite Semigroups