原命题 в энциклопедиях
yuánmìngtí
оригинальная теорема, изначальная теорема, главная теорема (обратная 逆命题)