3 fouten verbeterd, een bewijs verduidelijkt en opmaak