theorem instTwoDimensionalSpatialRegionAtToParent
theorem instTwoDimensionalSpatialRegionAtToParent
: ∀ (x t : Type) [TwoDimensionalSpatialRegion.At x t], SpatialRegion.At x t