Category:Product of Finite Sets is Finite