Proving that a pattern is a ladder escape