A Distribution Law for CCS and a New Congruence Result for the pi-calculus (Logical Methods in Computer Science, 2008)