Cantor's Theorem states that the power set of any given set has a larger cardinality than that set i...