[夏休み縮小定理]ひなたたちが通う小学校の夏休みは8/31まで無く、少なくとも8/30には終わっている。[pf]背理法で示す。仮に夏休みが8/31まであるとすると、次の金曜日は9/6となる(これは作中のカレンダーから、2019年の日付と一致していることから分かる)。…