[math-fun] *OLD* proof sought