あれはねらーが未証明or激ムズの問題だしてるだけなので簡潔に証明するのはたぶん無理