فرض کنیم m یک ابررویه ی ایزوپارامتریک در فضای تصویری مختلط باشد و k تصویر وارون m تحت نگاشت هاف باشد. با استفاده از رابطه ی بین مقادیر ویژه ی عملگر m و k اثبات می کنیم که m همگن است اگر و تنها اگر g و l ثابت باشند که g تعداد خمیدگی های اصلی متمایز m و l تعداد فضاهای ویژه ی غیر افقی از عملگر شکل روی k باشند.