Dit bestand kan jij gebruiken als een "sjbloon" voor het weergeven van bewijzen met de opeenvolgende stappen...