Added post on fixed points theorems