訂正

>>479
>よって、>>478 と >>474 より定理の主張が得られる。

よって、>>478 と >>474, >>475 より定理の主張が得られる。