theorem Th67: :: SRINGS_5:104

for r being Real
for n being non zero Nat
for x being Element of REAL n st r <= 0 holds
product (Intervals (x,r)) is empty