theorem :: INTEGRA2:40

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