theorem :: MSSUBLAT:4

for a being set holds (*--> a) . 3 = <*a,a,a*>