「1日の△曜日」が全て存在する場合は「1〜28日の△曜日」が全て存在する、という命題を証明する
1日の日曜日が存在する場合には、2日の月曜日は存在する
1日の月曜日が存在する場合には、2日の火曜日は存在する
……
1日の日〜土曜日が全て存在する場合には、2日の月〜日曜日は全て存在する
言い替えれば、
1日の日〜土曜日が全て存在する場合には、2日の日〜土曜日は全て存在する
同様に、1日の日〜土曜日が全て存在する場合には、2〜28日の日〜土曜日は全て存在する
逆に、28日の日〜土曜日が全て存在する場合には、27〜1日の日〜土曜日は全て存在する
2月は平年では28日までなので、29日以降は上記の論理を推し進めることはできない
以上