theorem :: COUSIN:46

for r being Real holds vol {r} = 0