https://9pdf.org/document/z3donp17-bevis-for-analysens-hovedsætning-med-brug-af-tretrinsreglen.html