Removed a cheat.

Ramana pointed me to the relevant theorem in the unification theories.