No Bijection between Finite Set and Proper Subset

Theorem
A finite set can not be in one-to-one correspondence with one of its proper subsets.

Proof
Follows directly from Same Cardinality Bijective Injective Surjective.