for x being ExtReal st x <> 0 holds
0 < |.x.|