theorem Th14: :: AFINSQ_1:16

for D being set holds {} is XFinSequence of D