donde U es unitario y K es operador que conjuga con los nos.