theorem :: FINSEQ_2:94

for D being set holds 0 -tuples_on D = {(<*> D)}