[夏休み縮小定理]
ひなたたちが通う小学校の夏休みは8/31まで無く、少なくとも8/30には終わっている。
[pf]
背理法で示す。仮に夏休みが8/31まであるとすると、次の金曜日は9/6となる(これは作中のカレンダーから、2019年の日付と一致していることから分かる)。
5話Cパート、みゃー姉のセリフ「もう金曜日かー」より、5話にて9/6であるか、もしくは、明日がもう金曜日という意味での発言なら9/5である。
ここで、7話のBパートにてみゃー姉の誕生日、すなわち9/9であることを加味すると、もし5話の時点で9/6なら、6話Aパートが平日であることより、少なくとも夜の発言では無い事がわかる。よって、9/5のいつか、もしくは9/6の朝の発言であり、ここから6話Aパートは9/6であるとわかる。
しかし、7話Aパートはひなたが熱を出して学校を休んでいる。つまり、9/6の次の平日である9/9以降であり、しかしみゃー姉の誕生日がまだ言及されていないので9/9である。ところが、Aパートの終わりでは一日経過しており、これはBパートで9/9である点に矛盾。
よって、夏休みは8/31日まで無く、これらが無矛盾となるには8月の金曜日を平日に含む必要があり、その条件から少なくとも8/30には夏休みは終わっている事がわかる。[Q.E.D]
