Proof girth

Proof girth