Keyword: mathematical theorem