theorem Th5: :: COMPUT_1:5

for X being set holds 0 -tuples_on X = {{}}