The appendix contains a description of a mathematical theorem. As implemented in the application easy search.