theorem Th37: :: MONOID_1:37

for A being non empty set holds |.(<*> A).| = A --> 0