Falso , não ?
Suponha que a moça nasceu em alguma data correspondente ao ano k .
Defina a relação(não é função , mas td bem ...ajudará organizar as ideias )

.
(
Por simplicidade (S.P.G) , vamos supor que em 1:1:k é domingo .Então temos

,

(significa 2:1:k é segunda ) ... .
Suponha ano k não bissexto (se for não problemas )
Agora forme grupos de 7 dias , escolhendo dos 7 primeiros do ano ao último . Note que ,

, ou seja , temos 52 grupos de 7 dias dos quais cada membro ; uma configuração da forma
(Dia do mês , Nome do mês , Ano ) , ou seja , uma tripla ordenada

. Analisando o último grupo de 7 dias , temos que

o que implica que

o que implica que

(aqui novo ano ) que é diferente de

(dias da semana distinto ) , ..., aplicando o mesmo raciocínio 364 vezes vemos que

para todo

em que a configuração (Dia do mês , Nome do mês , k ) faz sentido .
O que quero dizer com isso , se a moça fizer(ou fez) niver na quarta no ano k , no ano k+1 ela comemorá na quinta que é o dia da semana de seu niver .E além disso note que k é genérico .Portanto impossível .