>>740
厳密に見通しよく証明するために、１の分解を使って問題を局所的にする方法がある。
スピバックに証明があったと思う。