theorem :: COUSIN:41

for r being Real holds vol {r} = 0