9.5 Weyls Theorem (Statement)