>>493
なるほど素晴らしい
想定解はベールのカテゴリー定理を使うものでした