Assume $\displaystyle M $ is compact, non-empty, perfect, and homeomorphic to its Cartesian square, $\displaystyle M \simeq M \times M $. Must $\displaystyle M $ be homeomorphic to the Cantor set, the Hilbert Cube, or some combination of them?

Hints are appreciated.

Thanks