Beth_Definability_Theorem