Finished proof of multiplicativity. PHEW.