Restated InverseEmbed in an even simpler way.

Now uses residue form. Still no elementary proof not involving
transposition techniques, though.