Krener's_theorem loading ...