Keyword:
mathematical theorem