https://www.theoryofcomputation.co/proof-techniques-mathematical-preliminaries/