Prove some stuff about product metric spaces