MathDB
Putnam 1950 B3

Source:

May 25, 2022
Putnam

Problem Statement

In the Gregorian calendar:
(i) years not divisible by 44 are common years; (ii) years divisible by 44 but not by 100100 are leap years; (iii) years divisible by 100100 but not by 400400 are common years; (iv) years divisible by 400400 are leap years; (v) a leap year contains 366366 days; a common year 365365 days.
Prove that the probability that Christmas falls on a Wednesday is not 1/7.1/7.