theorem :: FUNCT_7:95

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