theorem :: CARD_3:38

for K being Cardinal
for x being object holds Product (x .--> K) = K