en:hi:derived_numerical_existence