complete_class_theorem