Redirecting to Beurling–Lax theorem