Cantors product theorem