Comments: GSSChamp Proof