For every family of infinite cardinal numbers on a non-empty index set ,

.

I do not see how to prove this. We have proved a theorem that says that:

For every indexed family of sets and ever infinite , if and for each , then .

I am not sure if this theorem helps or not though. I need help on this one. Thanks.