Extension by Conservation. Sikorski's Theorem (Logical Methods in Computer Science, 2018)