夏色祭＝佐藤希（夏色祭）という関係式が成立するとして
その集合ではどんな規則があるのかという話になってくる
例えば夏色祭が自然数の範囲内で連続的に並べられるなら
佐藤希は佐藤希（夏色祭１）佐藤希（夏色祭２）...のようになるはずだ
だけどそれにしては上の関係式が成立するのが怪しい