>>546
> メインの定理のステートメントに書き間違いがあると

何行ってるのか分からん、日本語で頼む