冶城山西谒卞公，三匝三叹意何穷。若得如公百数辈，叛卒何忧乎大同。