theorem instOneDimensionalSpatialRegionAtToParent
theorem instOneDimensionalSpatialRegionAtToParent
: ∀ (x t : Type) [OneDimensionalSpatialRegion.At x t], SpatialRegion.At x t