id	keyword
ejpam-3605	theorem