Seeley extension theorem