GRG-C25-FinalGRG-C25-Proofs