Cantors theorem. There is no onto/surjective function/map from any non empty set X to its power set
Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.