Original sentence: To do that, it is enough to show the existence of at least one subset of A that is not an element of the image of A under f.To establish Cantor's theorem it must be shown that given any set A no function f from A into the power set of A can be surjective
Edited sentence: To establish Cantor's theorem it is enough to show that given any set A no function f from A into the power set of A can be surjective, i.to show the existence of at least one subset of A that is not an element of the image of A under f