12 Hayvanlı Türk Takvimi'nin matematiksel yapısı incelendiğinde, $y$ yılının hangi hayvan yılına denk geldiği $(y + 8) \mod 12$ formülüyle bulunabilir. Buna göre 2023 yılı hangi hayvan yılına denk gelir?
