A proof of Beigel's cardinality conjecture - Kummer, Martin (1991)