1509
Under the Petersson metric it is shown that we can define the orthogonality on the space of modular forms as the space of cusp forms and its orthogonal space and they have finite dimensions .
 person: Petersson
Please list all entity words in the text that fit the category.Output format is "type1: word1; type2: word2". 
Option: location, person, organization 
Text: {0} 
Answer:
 person: Petersson