theorem
 for x being object holds <*x*> = { [1,x] };
