⁹Wegen der Analytizität des Trägers $ejω0t$ ist auch $z(t)⋅ejω0t$ wieder eine analytische Funktion, denn das Produkt zweier analytischer Funktionen ist ebenfalls analytisch (und der Imaginärteil deshalb redundant).