theorem instSpecificallyDependentContinuantAtToParent
theorem instSpecificallyDependentContinuantAtToParent
: ∀ (x t : Type) [SpecificallyDependentContinuant.At x t], Continuant.At x t