theorem Th56: :: GLIB_016:56

for P being set
for c being Cardinal st P is mutually-disjoint & ( for A being set st A in P holds
card A = c ) holds
card (union P) = c *` (card P)