Prove one direction of gnf_calcs_gnd.