 The asserted result follows from the fact that every non-empty finite set has an equal number of odd- and even-cardinality subsets.This last fact can be shown easily by induction on the cardinality of a non-empty finite set .First, if , there is exactly one odd-cardinality subset of , namely itself, and exactly one even-cardinality subset, namely .