84467
The theorem was first published in 1927 by Stefan Banach and Hugo Steinhaus , but it was also proven independently by Hans Hahn .
 person: Stefan Banach; person: Hugo Steinhaus; person: Hans Hahn
Given options, please tell me the categories of all the listed entity words.Output format is "type1: word1; type2: word2". 
Option: media, plant, vehicle, astronomical object, time, disease, animal, location, person, organization, mythical figure, food, biology, geographical phenomenon, instrument, event 
Text: {0} 
 Entities: Stefan Banach, Hugo Steinhaus, Hans Hahn 
Answer:
 person: Stefan Banach; person: Hugo Steinhaus; person: Hans Hahn