>>520-521
勘違いしているかもしれないので言っておくが最終的な結論は
不定だから矛盾ではない。