theorem :: CARD_3:78

for S being non empty product-like set holds S = product (product" S)