Notes whose goal is to show that the NormalHedge potential does not increase