theorem :: CLASSES4:22

for UN being Universe
for x being Element of UN
for y, z being object st x = [y,z] holds
( y is Element of UN & z is Element of UN )