Kategorie:Theorie der endlichen booleschen Verbände/Beweise