＞問題は解決したから、さらなる計算は不要。以上おわり。
いや、だからさ、「問題を解決する」その前に、まずは、最初に仮定した
「お約束を単純化した状態」が本当に「お約束を満たすのか」という問題を
解決する必要があるだろ？どうしてこの問題は無視するの？