Hartogs%27 principle

undefined