Symmetric Chain Decomposition of the Power Set