proved HextendFrontier