Extension proof completed.