proved proposition about maximal subobject functors being radicals