Bijection Proof (a taste of math proof)