Beurling–Lax Theorem - Ontify