Proof girth

Related