theorem instEconomicAgentIsToParent
theorem instEconomicAgentIsToParent: ∀ (x : Type) [EconomicAgent.Is x], MaterialEntity.Is x
theorem instEconomicAgentIsToParent
theorem instEconomicAgentIsToParent: ∀ (x : Type) [EconomicAgent.Is x], MaterialEntity.Is x