Product Formula for Kolmogorov-Sinai Entropy