He also showed in 1919 that every implicative lattice is distributive and, as a partial converse, that every finite distributive lattice is implicative.
Siya rin ay nagpakita sa 1919 na ang bawat implicative sala-sala ay nagbabaha-bahagi at, bilang isang bahagyang-usap, na ang bawat wakas nagbabaha-bahagi sala-sala ay implicative.