finish  proof of last assertion