TODO: Prove that the new evangel is true. The following four figures will be used.