Hi Julie.  I checked this out in one of our publications (Labeled Statements and Formal Proofs).  This is itemized material with no subdivisions so the margins will be 1/3. The identifier begins in cell 1.  "Given" is a new paragraph so it starts in cell 5 with runovers in cell 3.  A new paragraph is also begun for the auxiliary caption "Prove" (5/3).