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