Added example (signature of transposition).
prop/proof that signature is multiplicative