update number_constructors_thm for printing