for A being non empty ext-real-membered set holds 0 ** A = {0}