theorem Th15: :: MATRLIN:15

for D being non empty set
for x being Element of D holds <*<*x*>*> = <*<*x*>*> @