He actually first appeared in the first episode of the Invader Zim Cartoon, but he is in the movie so I guess you're correct!