５月６日は何故休日？

今年のGW。
多くの人は５連休になると言いますが・・・。
　　２日(土)
　　３日(日)憲法記念日
　　４日(月)みどりの日
　　５日(火)こどもの日
　　６日(水)・・・・えっ？休みなんですか？
だって、前日の５日のこどもの日は平日でしょ？
「国民の祝日に関する法律」というのがあるんですね。
第３条
「国民の祝日」は、休日とする。
２．「国民の祝日」が日曜日に当たるときは、その日後においてその日に最も近い「国民の祝日」でない日を休日とする。
３．その前日及び翌日が「国民の祝日」である日（「国民の祝日」でない日に限る。）は、休日とする。
いわゆる「振替休日」と呼ばれる休日です。
「国民の祝日」が日曜日に当たるとき、その日の後の最も近い平日を休日とするものです。
・・・と言うことは、３日の憲法記念日の振替休日になるということですね。
まぁ、どの日の振替でも構いませんが・・・。
５連休・・・、オジサンは何もすることがありません。
誰も遊んでくれないし、混雑する場所には行きたくないし。