demonstrations:buchner_filtration