Aljabar Heyting bebas melalui satu generator (alias kekisi Rieger–Nishimura)