y lo sustituimos en U*.