真椭圆性

proper ellipticity