Simplify proof of Bolzano-Weierstrass property for product spaces. Remove the proof for totally bounded product spaces