>>348

>>349にあるとおり、明らかに追加の仮定入れてるよね