More work on proving bolzano-weierstrass for product metric spaces
More work on compact spaces