مبرهنة بورلينغ-لاكس (Beurling–Lax theorem)