C Lazy U Ranch - Proofs