for H, K being non empty finite set holds card (product <*H,K*>) = (card H) * (card K)