FirstCutFinishedKempKempProofs