[math-fun] Re Iterated averaging of triples