>>547
なるほど、理解しました。ありがとうございます
しかし肝心の前層を層化するときに局所有限の条件を付けるのがなぜかわかりません汗