Марья или Мария?⁠⁠

Филологический факультет, занятия по русскому языку. Преподаватель объясняет, что имена Мария и Марья склоняются в русском языке по-разному.
К слову, у нас в группе 3 Маши. Вот он и спрашивает:
- Вот Вы, Машенька, по паспорту Марья или Мария?
- Мария.
- А Вы, Маша, по паспорту кто?
- Марья.
- Ну а Вы, Машенька?
- А я, вообще-то, Катя...