Krein extension theorem