Las álgebras de Heyting son siempre distributivas.