A compactly generated lattice with unique complements is distributive

It is known that in a lattice with unique complements, the modularity, atomicity, de Morgan, and other conditions imply that the lattice is distributive. It is proved that a compactly generated lattice with unique complements is also Boolean.