https://www.rankaza.com/programming-theorems-an-overview-of-key-concepts/