for z being set holds <*z*> * <*1*> = <*z*>