tweak number_constructors_thm for change to printing