この仮定で完全にすべての解をとらえているのかね
勝手なイメージだけど物理的に対称性を見つけてそこから演繹的に解の形を絞り込んでるのかと思ってた
絞り込んだ結果が上の仮定っていう