There is a statement in my book -

"a proper subset of a finite set and the finite set itself - can't have same cardinality"

Just wanted to check with you guys - To prove this we have to use Pigeon-Hole Principle. Correct? There is no way out without assuming that.

A yes/no would be good enough. (I know how to do the proof with Pigeon-Hole Principle)

Thanks