Theorem

If is Y-Simple Region, then