Proper congruence-preserving extensions of lattices

Abstract

We prove that every lattice with more than one element has a proper congruence-preserving extension.