theorem instZeroDimensionalSpatialRegionAtToParent
theorem instZeroDimensionalSpatialRegionAtToParent
: ∀ (x t : Type) [ZeroDimensionalSpatialRegion.At x t], SpatialRegion.At x t