概念導讀完整orbits與partitionX的全部互異orbits為{0,1,2}與{3}，同orbit關係是等價關係。有限群作用的軌道derivation-mko-finite-group-orbit-01