ΘρϵηΠατπ

product rule
Suppose that a set A is in 1-1 correspondence with A1×A2××An, then |A|=i=1n|Ai|
TODO