Typos verbessert, Beweise ergänzt