証明した定理を追加した。