for D being non empty set holds {} is FinSequence_of_Matrix of D