for D being non empty set holds <*{},{}*> is Matrix of 2, 0 ,D