Comb_thm and Abs_thm for use in producing certificates