On products of proximity spaces