https://releasehive.com/writing-proofs-in-analysis-by-jonathan-m-kane/