get compile_print_dec_thm proved

not sure if the statement is useful, but apparently it's true.