В задачі гарантується що дата за Байтуліанським календарем — не пізніше за дату за Бітуліанським календарем. Саме тому для того, щоб перевірити чи збігаються дні записані за різними календарями, потрібно перевести обидві дати у дні й переконатися що різниця дорівнює $$$13$$$. Для цього треба номер місяця зменшити на один, помножити на кількість днів у місяці, тобто на $$$30$$$, та додати номер дня з дати. Тоді номер дня року дати за Байтуліанським календарем буде рівний $$$(m_1 - 1) \cdot 30 + d_1$$$, а за Бітуліанським календарем — $$$(m_2 - 1) \cdot 30 + d_2$$$. Тепер щоб перевірити чи збігаються насправді дати, треба перевірити чи різниця між номерами днів року дорівнює $$$13$$$. Тобто перевірити чи: $$$(m_2 - 1) \cdot 30 + d_2 - (m_1 - 1) \cdot 30 + d_1 = 13$$$.