for a, b being set holds <*a*> +* (1,b) = <*b*>