Completeness of Finite Products of Complete Metric Spaces